first-order logic

英 美
  • 一阶逻辑
  • first adj.第一的;最初的adv.首先;第一n.最初;(序数词)第一
  • logic n.逻辑;逻辑学;条理性;推理
  • order n.顺序;条理;订单;命令;秩序;阶层;[生]目;点的东西v.命令;定购;调整;整理;点餐;预定,订货
    1. This language of frst-order logic is very important.
      一阶逻辑语言是非常重要的。
    2. The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples.
      摘要基于一阶逻辑相关概念的内涵,结合恰当的反例,探析了一阶逻辑推理规则成立的条件。